退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:无限状态系统的公平性
Cook, B.; Khlaaf, H.; Piterman, Nir;
机译:使用近似商转换系统验证无限状态动态系统
机译:验证参数化无限状态系统的框架
机译:验证无限状态系统中越来越多的时态逻辑
机译:在无限状态系统中证明公平路径存在
机译:列出了用于模型检查实时系统和无限状态系统的分辨率和约束。
机译:公平发表卫生系统的定性研究:卫生政策和系统研究人员的呼吁
机译:在线产品,例如汽车,一种用于数据通信系统(即计算机系统)的展览会方法,包括向参观者提供产品展览会的图形多媒体演示,并使参观者能够利用输入单元来导航展览会
机译:用于汽车风扇整流罩的进气管固定系统,在整流罩壳体的底部延伸有凹槽,整流罩的上表面具有在打开位置和关闭位置之间可移动的阀盖,其中阀盖关闭开口
机译:气动系统和带帽盖的配件
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。